A Provable Secure Session Key Distribution Protocol Based on NSSK for In-Vehicle CAN Network

Many CAN-based session key sharing approaches are based on the group scheme, which can easily lead advanced adversaries to infiltrate all ECUs (electronic control units) in network if is leaked. To address above problem, we propose a provable secure distribution protocol improved NSSK (Needham–Schroeder shared key) for in-vehicle CAN network. We applied mechanisms of message authentication and digital signature fix defects original regarding its lack resistance Denning–Sacco attack. Then, analyzed security proposed random oracle model verified goals by using simulation tools AVISPA Tamarin Prover; results reflect that met requirements such as secrecy, injective agreement, known secrecy. Finally, compared our new with other protocols bus communication evaluate performance actual scenarios. The result shows against many payload-based attacks practical networks.